English automated reasoning tool: перевод на другие языки